Rigorous design of cyber-physical systems

Design of Multidisciplinary Cyber Physical Systems

A cyber-physical system (CPS) is a system of collaborating computational elements that control and interact with physical entities. These systems can be found in areas such as aerospace, automotive, energy, healthcare, manufacturing, entertainment, and consumer appliances, and can also be categorized as embedded systems, mechatronics, and smart X. In embedded systems the emphasis is on the comp...

Multi-View Design for Cyber-Physical Systems

Cyber-Physical Systems are complex systems made of various and heterogeneous subsystems; they have different aspects and each aspect has its own requirements and properties to be satisfied. ModelDriven Engineering (MDE) is a promising approach used to design and analyze complex systems on different levels and diverse views. CPS designers take many factors into account due to the complexity and ...

Time-Predictable Design for Cyber-Physical Systems

Embedded computing systems are increasingly networked and conjoined with physical systems in many application domains spanning from automobiles and aircrafts to power grids and assisted living. Our society is more and more relied on these cyber-physical systems that tightly integrate the computation and physical systems. Many cyber-physical systems are under real-time constraints, and thus a cr...

Environment-Centric Contracts for Design of Cyber-Physical Systems

A contract splits the responsibilities between a component and its environment into a guarantee that expresses an intended property under the responsibility of the component, given that the environment fulfills the assumptions. Although current contract theories are limited to express contracts over interfaces of components, specifications that are not limited to interfaces are used in practice...

Extending AADL for Security Design Assurance of Cyber-Physical Systems